Automatic Test-Case Derivation and Execution in Industrial Control

In industrial control, system failures can be highly dangerous and expensive. To avoid them, much time and money is spent in testing the systems, and this occurs mostly manually. Model-based testing is a forthcoming and promising technique to automate the testing process, as it allows the automatic generation and execution of test-cases. It assumes the system under test to be a blackbox, implying that the system is only accessible via inputs and outputs. Thus, model-based testing can be ideally applied to function blocks. This paper presents our first steps in applying model-based testing in industrial control, and includes a case study on a simple motor controller.